Corelab Seminar
2009-2010
Eleni Mpakali (NTUA)
Attacks to cryptographic protocols and a logic of Authentication.
Abstract. Many protocols are designed to work properly in a framework with two agents, but if another person involves, can cause trouble. We want a way to anlyse and correct such protocols. First I will give some examples of attacks, to make more clear what we need. Then I will present a (very simple) logic wich is proposed for authentication protocols, and it has been used succesfully to correct many existing protocols.